Jatin Arora
About
Research Interests
Broadly, I am interested in topics related to Programming Languages. I am fortunate to be advised by Prof. Umut Acar on various aspects of parallel computing. I am exploring new ways of memory management for parallel functional languages using MPL.
Publications
-
Disentanglement with Futures, State, and Interaction
Jatin Arora, Stefan K. Muller, Umut A. Acar
POPL 2024
-
-
Efficient Parallel Functional Programming with Effects
Jatin Arora, Sam Westrick, Umut A. Acar
PLDI 2023
-
-
Entanglement Detection With Near-Zero Cost
Sam Westrick, Jatin Arora, Umut A. Acar
ICFP 2022 (Distinguished paper award)
-
Provably Space-Efficient Parallel Functional Programming
Jatin Arora, Sam Westrick, Umut A. Acar
POPL 2021 (Distinguished paper award)
[slides] [talk] -
Knowledge Compilation for Boolean Synthesis
S. Akshay, Jatin Arora, Supratik Chakraborty, S. Krishna, Divya Raghunathan and Shetal Shah
FMCAD 2019 -
Verification of Programs under the Release Acquire Semantics
Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig and Krishna S
PLDI 2019
Workshop Papers
-
Property Inference in ReLU nets using Linear Interpolants
Divyansh Pareek, Saket Dingliwal, Jatin Arora
VNN 2020
-
-